< x : Bool | z >
